<?php
//000000000000b:0;
?>